Books by author Mitsuhiro Okada

Showing 1 – 4 out of 4 results

1. 

   Advances in Mathematical Logic

   Toshiyasu Arai, Makoto Kikuchi, Satoru Kuroda, Mitsuhiro Okada, Teruyuki Yorioka | Springer, Berlin, 2023

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   164.50 €

   Sale 7 %

   You save 13.76 €

   Buy
2. 

   Software Security -- Theories and Systems

   Mitsuhiro Okada, Benjamin Pierce, Andre Scedrov, Hideyuki Tokuda | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2003

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.66 €

   Sale 7 %

   You save 4.28 €

   Buy
3. 

   Formal to Practical Security

   Véronique Cortier, Claude Kirchner, Mitsuhiro Okada, Hideki Sakurada | Springer, Berlin, 2009

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.66 €

   Sale 7 %

   You save 4.28 €

   Buy
4. 

   Logic, Language, and Security

   Tajana Ban Kirigin, Carolyn Talcott, Mitsuhiro Okada, Stepan Kuznetsov, Boon Thau Loo, Joshua Guttman | Springer Nature Switzerland AG, 2020

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   61.87 €

   Sale 7 %

   You save 5.18 €

   Buy

Returning customers have discounts and benefits. Find out more